Implementation and verification of the Hybrid Transformer model in ATPDraw
نویسندگان
چکیده
The paper documents a new transformer model in ATPDraw called XFMR. This model handles 3-phase transformers with two or three windings. Autotransformers and all Wye and Delta couplings are supported. The model includes an inverse inductance matrix for the leakage description, optional frequency dependent winding resistance, capacitive coupling, and a topologically correct core model (3and 5-legged) with individual saturation and losses in legs and yokes. Three different sources of data are supported; typical values, standard test reports, and design information. The hybrid model XFMR is compared to the UMEC model in PSCAD showing good agreement at rated, stationary operation, but considerable differences in transient situations. Both models need development to reproduce all switching transient behaviors properly.
منابع مشابه
Transformer-based Single-source Multilevel Inverter with Reduction in Number of Transformers
Single-source binary hybrid multilevel inverters with cascaded transformers have a bulky transformer connected to their main H-bridge cells in each phase. This bulky transformer has been eliminated in this work without any effect on operation and modulation strategies. The proposed topology has significant advantages from view point of dimensions and number of transformers, design of transforme...
متن کاملVerification of a Quality Management Theory: Using a Delphi Study
Background A model of quality management called Strategic Collaborative Quality Management (SCQM) model was developed based on the quality management literature review, the findings of a survey on quality management assessment in healthcare organisations, semi-structured interviews with healthcare stakeholders, and a Delphi study on healthcare quality management experts. The purpose of this stu...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملCharge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Analog-mixed signal (AMS) circuits are widely used in various mission-critical applications necessitating their formal verification prior to implementation. We consider modeling two AMS circuits as hybrid automata, particularly a charge pump phase-locked loop (CP-PLL) and a full-wave rectifier (FWR). We present executable models for the benchmarks in SpaceEx format, perform reachability analysi...
متن کاملDetermination of a new model to study ultra-saturation phenomenon during the loaded power transformer energization and its effect on differential protection
One of transient phenomenon that causes the mal-operation of the power transformer differential protection during the energization of a loaded power transformer is the ultra-saturation phenomenon. In this paper, a new model for investigating the ultra-saturation phenomenon during the energization of a loaded power transformer is presented and its effect on the differential protection of the pow...
متن کامل